:: (a -> b -> c) -> f a -> f b -> f c package:vector is:exact

O(min(m,n)) Zip two vectors with the given function.